Nuprl Definition : grp_id 13,42
e == (g.2.2.2.2).1 
latex

clarification:

eg == (g.2.2.2.2).1 
latex

Upgrp sig object directory
Wellformedness Lemmasgrp id wf, grp id wf2
Definitionst.1, t.2

origin